Buy Used and New Aarti Gupta Books

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

by Malay Ganai,Aarti Gupta

ISBN 13: 9780387691664

Format: Hardcover (330 pages)
Publisher: Springer
Published: 15 Aug 2007

Save for later

SAT-Based Scalable Formal Verification Solutions (Integrated Circuits and Systems)

by Malay Ganai,Aarti Gupta

ISBN 13: 9781441943415

Format: Paperback (360 pages)
Publisher: Springer
Published: 19 Nov 2010

Save for later